Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
131	Stat 302 Statistical Software and Its Applications Functions and Programming Fritz Scholz Department of Statistics, University of Washington Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-01-08 17:20:58 Real analysis Function Control flow Monotonic function Standard ML Mathematical analysis Mathematics Functions and mappings
132	Toward a Practical Type Theory for Recursive Modules Derek R. Dreyer Robert Harper Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2001-03-22 16:01:25 Type theory Data types Recursion Computability theory Recursive data type Standard ML Fixed-point combinator Lambda calculus Generic programming Theoretical computer science Applied mathematics Mathematics
133	CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume Add to Reading List Source URL: www.smlnj.org Language: English - Date: 2006-11-07 10:53:07 Procedural programming languages Functional languages Standard ML Type safety Library Make ML Extended Backus–Naur Form Modular programming Computing Software engineering Computer programming
134	Moscow ML Owner’s Manual Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agricu Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:26:57 Procedural programming languages Functional languages Standard ML Type safety ML Header file Declaration C OCaml Software engineering Computer programming Computing
135	1ML – Core and modules united (F-ing first-class modules) Andreas Rossberg Google [removed] Abstract Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2015-02-26 10:44:21 Computer programming Greek letters Notation Programming language theory Homeric epics Standard ML Symbol Greek alphabet
136	Tips for Computer Scientists on Standard ML (Revised) Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-08-30 11:24:46 Procedural programming languages Functional languages Data types C++ Type theory Standard ML C++ classes Declaration ALGOL 68 Software engineering Computing Computer programming
137	Notes on Programming Standard ML of New Jersey (version[removed]Riccardo Pucella Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-02 20:38:17 Procedural programming languages Functional languages Standard ML of New Jersey Standard ML ML ALGOL 68 Primitive data type Continuation Functional programming Software engineering Computing Computer programming
138	Moscow ML .Net Owner’s Manual Version[removed]of November 2003 Niels Jørgen Kokholm, IT University of Copenhagen, Denmark Peter Sestoft, Royal Veterinary and Agricultural University, Copenhagen, Denmark This document d Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:27:00 Functional languages Procedural programming languages Computing platforms Mono project Standard ML .NET framework ML .NET assembly Managed Extensions for C++ Computing Software engineering Computer programming
139	Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-04-17 07:26:57 Procedural programming languages Functional languages Standard ML Monad Functor ALGOL 68 Variable Identifier Scope Software engineering Computing Programming language theory
140	MLj 0.2 User Guide Nick Benton, Andrew Kennedy, George Russell Persimmon IT, Inc. Cambridge, U.K. February 28, 1999 Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-05-28 08:39:44 Cross-platform software Java platform Procedural programming languages Java virtual machine Java Classpath Standard ML Bytecode Apache Ant Computing Software Java programming language